Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Compositionality in Time Series: A Proof of Concept using Symbolic Dynamics and Compositional Data Augmentation
arxiv.org·2d
📐Binary Grammars
Swánga̱lyiatwuki-WikiWoordenboek Wiktionary Editing Projects
diff.wikimedia.org·22h
📜Manuscript TEI
Micro DSLs for scenario tests with Rust macros
dystroy.org·5h
🦀Rust Macros
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
The Art of Transformer Programming (2023)
yanivle.github.io·7h·
Discuss: Hacker News
🤖Lisp Machines
Answering some questions about Baba Yaga
eli.li·11h·
Discuss: Hacker News
🎯Dependent Types
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·7h·
Discuss: r/MachineLearning
🔗Constraint Handling
What AI chatbots are doing under the hood
gilesthomas.com·1d·
Discuss: Hacker News
🎙️Whisper
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Challenging LR Parsing (2020)
rust-analyzer.github.io·1d·
Discuss: Lobsters, r/programming
🦀Rust Macros
Unlocking Multimodal Video Transcription with Gemini
towardsdatascience.com·1d
✅Verification Codecs
Contrastive Representations for Temporal Reasoning
princeton-rl.github.io·1d·
Discuss: Hacker News
🔲Cellular Automata
Token Alignment Protocol, Zero Drift for AI Agents
symbiquity.ai·1d·
Discuss: Hacker News
⚡Proof Automation